# -*- makefile -*-

os.dsk: DEFINES =
KERNEL_SUBDIRS = threads devices lib lib/kernel $(TEST_SUBDIRS)
TEST_SUBDIRS = tests/threads tests/threads/mlfqs
GRADING_FILE = $(SRCDIR)/tests/threads/Grading
